b == if b then ff else tt fi  

latex

Definitions	if b then t else f fi , ff, tt
FDL editor aliases	bnot